Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
51	Genome Informatics 12: 292–Genomic Object Net: Petri Net Enhancement for Multi-Cellular Processes Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2002-01-17 03:51:06 Concurrency Models of computation Petri nets Diagrams Software engineering Petri Theoretical computer science Metaphor
52	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:53 Finite automata Timed automaton Logic in computer science Automated planning and scheduling Fluent Finite-state machine Theoretical computer science Planning Domain Definition Language Models of computation
53	Intl. Symposium on Experimental Robotics, JuneLinguistic Composition of Semantic Maps and Hybrid Controllers ? Neil Dantam, Carlos Nieto-Granda, Henrik Christensen, and Mike Stilman Center for Robotics and Intelli Add to Reading List Source URL: www.neil.dantam.name Language: English - Date: 2016-07-08 17:59:42 Formal languages Combinatorics Mathematics Combinatorics on words Discrete mathematics Theoretical computer science Models of computation Finite automata Automata theory Pushdown automaton Finite-state machine Alphabet
54	The key to blame: Gradual typing meets cryptography Jeremy Siek Philip Wadler Indiana University, USA Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2016-07-07 08:33:11 Theoretical computer science Mathematics Mathematical logic Logic in computer science Models of computation Lambda calculus Computability theory Valuation Denotational semantics Combinatory logic Holomorphic functional calculus
55	Dependent Types in Practical Programming Hongwei Xi December 6th, 1998 Department of Mathematical Sciences Carnegie Mellon University Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 1999-11-28 18:07:44 Software engineering Programming language theory Computing Type theory Functional languages Logic in computer science Programming paradigms Models of computation Denotational semantics Type system Programming language Constraint programming
56	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Theoretical computer science Models of computation Logic in computer science Mathematical logic Software engineering Denotational semantics Computability theory Symbol Proof theory Lambda calculus Generalised Whitehead product Programming Computable Functions
57	c 2005 Cambridge University Press JFP 15 (6), Meta-Programming through Typeful Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-06-23 21:20:00 Software engineering Theoretical computer science Logic Logic programming Models of computation Functional languages Computability theory Lambda calculus Substitution Standard ML Higher-order abstract syntax Security type system
58	Is Bioinformatics Possible? Philosophical problems and opportunities Johan Nyström-Persson, Level Five Co., Ltd and Australia-China Centre for Wheat Improvement Add to Reading List Source URL: www.monomorphic.org Language: English - Date: 2016-02-21 03:39:18 Theoretical computer science Alan Turing Computability theory Mathematics Software engineering Formal methods Models of computation Turing machine Turing Lambda calculus Affymetrix Computer science
59	An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Theoretical computer science Mathematical logic Software engineering Computability theory Models of computation Logic in computer science Programming language semantics Denotational semantics Recursion Negation True quantified Boolean formula Mathematical proof
60	ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2015-01-27 07:14:30 Electronic engineering Logic gates Electronics Theoretical computer science Digital electronics Logic families Integrated circuits Models of computation Reversible computing Toffoli gate CMOS Transmission gate